home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2007 September / PCWSEP07.iso / Software / Linux / Linux Mint 3.0 Light / LinuxMint-3.0-Light.iso / casper / filesystem.squashfs / usr / share / gedit-2 / glade / gedit-preferences-dialog.glade < prev    next >
Encoding:
Extensible Markup Language  |  2007-04-10  |  88.6 KB  |  2,361 lines
  1. <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
  2. <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
  3.  
  4. <glade-interface>
  5. <requires lib="gnome"/>
  6.  
  7. <widget class="GtkDialog" id="preferences_dialog">
  8.   <property name="title" translatable="yes">Preferences</property>
  9.   <property name="type">GTK_WINDOW_TOPLEVEL</property>
  10.   <property name="window_position">GTK_WIN_POS_NONE</property>
  11.   <property name="modal">False</property>
  12.   <property name="resizable">False</property>
  13.   <property name="destroy_with_parent">True</property>
  14.   <property name="decorated">True</property>
  15.   <property name="skip_taskbar_hint">False</property>
  16.   <property name="skip_pager_hint">False</property>
  17.   <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property>
  18.   <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
  19.   <property name="focus_on_map">True</property>
  20.   <property name="has_separator">False</property>
  21.  
  22.   <child internal-child="vbox">
  23.     <widget class="GtkVBox" id="dialog-vbox2">
  24.       <property name="visible">True</property>
  25.       <property name="homogeneous">False</property>
  26.       <property name="spacing">0</property>
  27.  
  28.       <child internal-child="action_area">
  29.     <widget class="GtkHButtonBox" id="dialog-action_area2">
  30.       <property name="visible">True</property>
  31.       <property name="layout_style">GTK_BUTTONBOX_END</property>
  32.  
  33.       <child>
  34.         <widget class="GtkButton" id="helpbutton1">
  35.           <property name="visible">True</property>
  36.           <property name="can_default">True</property>
  37.           <property name="can_focus">True</property>
  38.           <property name="label">gtk-help</property>
  39.           <property name="use_stock">True</property>
  40.           <property name="relief">GTK_RELIEF_NORMAL</property>
  41.           <property name="focus_on_click">True</property>
  42.           <property name="response_id">-11</property>
  43.         </widget>
  44.       </child>
  45.  
  46.       <child>
  47.         <widget class="GtkButton" id="closebutton1">
  48.           <property name="visible">True</property>
  49.           <property name="can_default">True</property>
  50.           <property name="can_focus">True</property>
  51.           <property name="label">gtk-close</property>
  52.           <property name="use_stock">True</property>
  53.           <property name="relief">GTK_RELIEF_NORMAL</property>
  54.           <property name="focus_on_click">True</property>
  55.           <property name="response_id">-7</property>
  56.         </widget>
  57.       </child>
  58.     </widget>
  59.     <packing>
  60.       <property name="padding">0</property>
  61.       <property name="expand">False</property>
  62.       <property name="fill">True</property>
  63.       <property name="pack_type">GTK_PACK_END</property>
  64.     </packing>
  65.       </child>
  66.  
  67.       <child>
  68.     <widget class="GtkNotebook" id="notebook">
  69.       <property name="border_width">6</property>
  70.       <property name="visible">True</property>
  71.       <property name="can_focus">True</property>
  72.       <property name="show_tabs">True</property>
  73.       <property name="show_border">True</property>
  74.       <property name="tab_pos">GTK_POS_TOP</property>
  75.       <property name="scrollable">False</property>
  76.       <property name="enable_popup">False</property>
  77.  
  78.       <child>
  79.         <widget class="GtkVBox" id="vbox228">
  80.           <property name="border_width">12</property>
  81.           <property name="visible">True</property>
  82.           <property name="homogeneous">False</property>
  83.           <property name="spacing">18</property>
  84.  
  85.           <child>
  86.         <widget class="GtkVBox" id="vbox226">
  87.           <property name="visible">True</property>
  88.           <property name="homogeneous">False</property>
  89.           <property name="spacing">6</property>
  90.  
  91.           <child>
  92.             <widget class="GtkLabel" id="label848">
  93.               <property name="visible">True</property>
  94.               <property name="label" translatable="yes"><b>Text Wrapping</b></property>
  95.               <property name="use_underline">False</property>
  96.               <property name="use_markup">True</property>
  97.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  98.               <property name="wrap">False</property>
  99.               <property name="selectable">False</property>
  100.               <property name="xalign">0</property>
  101.               <property name="yalign">0.5</property>
  102.               <property name="xpad">0</property>
  103.               <property name="ypad">0</property>
  104.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  105.               <property name="width_chars">-1</property>
  106.               <property name="single_line_mode">False</property>
  107.               <property name="angle">0</property>
  108.             </widget>
  109.             <packing>
  110.               <property name="padding">0</property>
  111.               <property name="expand">False</property>
  112.               <property name="fill">False</property>
  113.             </packing>
  114.           </child>
  115.  
  116.           <child>
  117.             <widget class="GtkHBox" id="hbox142">
  118.               <property name="visible">True</property>
  119.               <property name="homogeneous">False</property>
  120.               <property name="spacing">0</property>
  121.  
  122.               <child>
  123.             <widget class="GtkLabel" id="label849">
  124.               <property name="visible">True</property>
  125.               <property name="label" translatable="yes">    </property>
  126.               <property name="use_underline">False</property>
  127.               <property name="use_markup">False</property>
  128.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  129.               <property name="wrap">False</property>
  130.               <property name="selectable">False</property>
  131.               <property name="xalign">0.5</property>
  132.               <property name="yalign">0.5</property>
  133.               <property name="xpad">0</property>
  134.               <property name="ypad">0</property>
  135.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  136.               <property name="width_chars">-1</property>
  137.               <property name="single_line_mode">False</property>
  138.               <property name="angle">0</property>
  139.             </widget>
  140.             <packing>
  141.               <property name="padding">0</property>
  142.               <property name="expand">False</property>
  143.               <property name="fill">False</property>
  144.             </packing>
  145.               </child>
  146.  
  147.               <child>
  148.             <widget class="GtkVBox" id="wrap_mode_frame">
  149.               <property name="visible">True</property>
  150.               <property name="homogeneous">False</property>
  151.               <property name="spacing">6</property>
  152.  
  153.               <child>
  154.                 <widget class="GtkCheckButton" id="wrap_text_checkbutton">
  155.                   <property name="visible">True</property>
  156.                   <property name="can_focus">True</property>
  157.                   <property name="label" translatable="yes">Enable text _wrapping</property>
  158.                   <property name="use_underline">True</property>
  159.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  160.                   <property name="focus_on_click">True</property>
  161.                   <property name="active">False</property>
  162.                   <property name="inconsistent">False</property>
  163.                   <property name="draw_indicator">True</property>
  164.                 </widget>
  165.                 <packing>
  166.                   <property name="padding">0</property>
  167.                   <property name="expand">False</property>
  168.                   <property name="fill">False</property>
  169.                 </packing>
  170.               </child>
  171.  
  172.               <child>
  173.                 <widget class="GtkCheckButton" id="split_checkbutton">
  174.                   <property name="visible">True</property>
  175.                   <property name="can_focus">True</property>
  176.                   <property name="label" translatable="yes">Do not _split words over two lines</property>
  177.                   <property name="use_underline">True</property>
  178.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  179.                   <property name="focus_on_click">True</property>
  180.                   <property name="active">False</property>
  181.                   <property name="inconsistent">False</property>
  182.                   <property name="draw_indicator">True</property>
  183.                 </widget>
  184.                 <packing>
  185.                   <property name="padding">0</property>
  186.                   <property name="expand">False</property>
  187.                   <property name="fill">False</property>
  188.                 </packing>
  189.               </child>
  190.             </widget>
  191.             <packing>
  192.               <property name="padding">0</property>
  193.               <property name="expand">True</property>
  194.               <property name="fill">True</property>
  195.             </packing>
  196.               </child>
  197.             </widget>
  198.             <packing>
  199.               <property name="padding">0</property>
  200.               <property name="expand">True</property>
  201.               <property name="fill">True</property>
  202.             </packing>
  203.           </child>
  204.         </widget>
  205.         <packing>
  206.           <property name="padding">0</property>
  207.           <property name="expand">True</property>
  208.           <property name="fill">True</property>
  209.         </packing>
  210.           </child>
  211.  
  212.           <child>
  213.         <widget class="GtkVBox" id="vbox217">
  214.           <property name="visible">True</property>
  215.           <property name="homogeneous">False</property>
  216.           <property name="spacing">6</property>
  217.  
  218.           <child>
  219.             <widget class="GtkLabel" id="label854">
  220.               <property name="visible">True</property>
  221.               <property name="label" translatable="yes"><b>Line Numbers</b></property>
  222.               <property name="use_underline">False</property>
  223.               <property name="use_markup">True</property>
  224.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  225.               <property name="wrap">False</property>
  226.               <property name="selectable">False</property>
  227.               <property name="xalign">0</property>
  228.               <property name="yalign">0.5</property>
  229.               <property name="xpad">0</property>
  230.               <property name="ypad">0</property>
  231.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  232.               <property name="width_chars">-1</property>
  233.               <property name="single_line_mode">False</property>
  234.               <property name="angle">0</property>
  235.             </widget>
  236.             <packing>
  237.               <property name="padding">0</property>
  238.               <property name="expand">False</property>
  239.               <property name="fill">False</property>
  240.             </packing>
  241.           </child>
  242.  
  243.           <child>
  244.             <widget class="GtkHBox" id="hbox137">
  245.               <property name="visible">True</property>
  246.               <property name="homogeneous">False</property>
  247.               <property name="spacing">0</property>
  248.  
  249.               <child>
  250.             <widget class="GtkLabel" id="label843">
  251.               <property name="visible">True</property>
  252.               <property name="label" translatable="yes">    </property>
  253.               <property name="use_underline">False</property>
  254.               <property name="use_markup">False</property>
  255.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  256.               <property name="wrap">False</property>
  257.               <property name="selectable">False</property>
  258.               <property name="xalign">0.5</property>
  259.               <property name="yalign">0.5</property>
  260.               <property name="xpad">0</property>
  261.               <property name="ypad">0</property>
  262.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  263.               <property name="width_chars">-1</property>
  264.               <property name="single_line_mode">False</property>
  265.               <property name="angle">0</property>
  266.             </widget>
  267.             <packing>
  268.               <property name="padding">0</property>
  269.               <property name="expand">False</property>
  270.               <property name="fill">False</property>
  271.             </packing>
  272.               </child>
  273.  
  274.               <child>
  275.             <widget class="GtkVBox" id="vbox222">
  276.               <property name="visible">True</property>
  277.               <property name="homogeneous">False</property>
  278.               <property name="spacing">6</property>
  279.  
  280.               <child>
  281.                 <widget class="GtkCheckButton" id="display_line_numbers_checkbutton">
  282.                   <property name="visible">True</property>
  283.                   <property name="can_focus">True</property>
  284.                   <property name="label" translatable="yes">_Display line numbers</property>
  285.                   <property name="use_underline">True</property>
  286.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  287.                   <property name="focus_on_click">True</property>
  288.                   <property name="active">False</property>
  289.                   <property name="inconsistent">False</property>
  290.                   <property name="draw_indicator">True</property>
  291.                 </widget>
  292.                 <packing>
  293.                   <property name="padding">0</property>
  294.                   <property name="expand">False</property>
  295.                   <property name="fill">False</property>
  296.                 </packing>
  297.               </child>
  298.             </widget>
  299.             <packing>
  300.               <property name="padding">0</property>
  301.               <property name="expand">True</property>
  302.               <property name="fill">True</property>
  303.             </packing>
  304.               </child>
  305.             </widget>
  306.             <packing>
  307.               <property name="padding">0</property>
  308.               <property name="expand">True</property>
  309.               <property name="fill">True</property>
  310.             </packing>
  311.           </child>
  312.         </widget>
  313.         <packing>
  314.           <property name="padding">0</property>
  315.           <property name="expand">False</property>
  316.           <property name="fill">False</property>
  317.         </packing>
  318.           </child>
  319.  
  320.           <child>
  321.         <widget class="GtkVBox" id="vbox244">
  322.           <property name="visible">True</property>
  323.           <property name="homogeneous">False</property>
  324.           <property name="spacing">6</property>
  325.  
  326.           <child>
  327.             <widget class="GtkLabel" id="label876">
  328.               <property name="visible">True</property>
  329.               <property name="label" translatable="yes"><b>Current Line</b></property>
  330.               <property name="use_underline">False</property>
  331.               <property name="use_markup">True</property>
  332.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  333.               <property name="wrap">False</property>
  334.               <property name="selectable">False</property>
  335.               <property name="xalign">0</property>
  336.               <property name="yalign">0.5</property>
  337.               <property name="xpad">0</property>
  338.               <property name="ypad">0</property>
  339.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  340.               <property name="width_chars">-1</property>
  341.               <property name="single_line_mode">False</property>
  342.               <property name="angle">0</property>
  343.             </widget>
  344.             <packing>
  345.               <property name="padding">0</property>
  346.               <property name="expand">False</property>
  347.               <property name="fill">False</property>
  348.             </packing>
  349.           </child>
  350.  
  351.           <child>
  352.             <widget class="GtkHBox" id="hbox161">
  353.               <property name="visible">True</property>
  354.               <property name="homogeneous">False</property>
  355.               <property name="spacing">0</property>
  356.  
  357.               <child>
  358.             <widget class="GtkLabel" id="label877">
  359.               <property name="visible">True</property>
  360.               <property name="label" translatable="yes">    </property>
  361.               <property name="use_underline">False</property>
  362.               <property name="use_markup">False</property>
  363.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  364.               <property name="wrap">False</property>
  365.               <property name="selectable">False</property>
  366.               <property name="xalign">0.5</property>
  367.               <property name="yalign">0.5</property>
  368.               <property name="xpad">0</property>
  369.               <property name="ypad">0</property>
  370.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  371.               <property name="width_chars">-1</property>
  372.               <property name="single_line_mode">False</property>
  373.               <property name="angle">0</property>
  374.             </widget>
  375.             <packing>
  376.               <property name="padding">0</property>
  377.               <property name="expand">False</property>
  378.               <property name="fill">False</property>
  379.             </packing>
  380.               </child>
  381.  
  382.               <child>
  383.             <widget class="GtkVBox" id="vbox245">
  384.               <property name="visible">True</property>
  385.               <property name="homogeneous">False</property>
  386.               <property name="spacing">6</property>
  387.  
  388.               <child>
  389.                 <widget class="GtkCheckButton" id="highlight_current_line_checkbutton">
  390.                   <property name="visible">True</property>
  391.                   <property name="can_focus">True</property>
  392.                   <property name="label" translatable="yes">Hi_ghlight current line</property>
  393.                   <property name="use_underline">True</property>
  394.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  395.                   <property name="focus_on_click">True</property>
  396.                   <property name="active">False</property>
  397.                   <property name="inconsistent">False</property>
  398.                   <property name="draw_indicator">True</property>
  399.                 </widget>
  400.                 <packing>
  401.                   <property name="padding">0</property>
  402.                   <property name="expand">False</property>
  403.                   <property name="fill">False</property>
  404.                 </packing>
  405.               </child>
  406.             </widget>
  407.             <packing>
  408.               <property name="padding">0</property>
  409.               <property name="expand">True</property>
  410.               <property name="fill">True</property>
  411.             </packing>
  412.               </child>
  413.             </widget>
  414.             <packing>
  415.               <property name="padding">0</property>
  416.               <property name="expand">True</property>
  417.               <property name="fill">True</property>
  418.             </packing>
  419.           </child>
  420.         </widget>
  421.         <packing>
  422.           <property name="padding">0</property>
  423.           <property name="expand">False</property>
  424.           <property name="fill">True</property>
  425.         </packing>
  426.           </child>
  427.  
  428.           <child>
  429.         <widget class="GtkVBox" id="vbox230">
  430.           <property name="visible">True</property>
  431.           <property name="homogeneous">False</property>
  432.           <property name="spacing">6</property>
  433.  
  434.           <child>
  435.             <widget class="GtkLabel" id="label855">
  436.               <property name="visible">True</property>
  437.               <property name="label" translatable="yes"><b>Right Margin</b></property>
  438.               <property name="use_underline">False</property>
  439.               <property name="use_markup">True</property>
  440.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  441.               <property name="wrap">False</property>
  442.               <property name="selectable">False</property>
  443.               <property name="xalign">0</property>
  444.               <property name="yalign">0.5</property>
  445.               <property name="xpad">0</property>
  446.               <property name="ypad">0</property>
  447.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  448.               <property name="width_chars">-1</property>
  449.               <property name="single_line_mode">False</property>
  450.               <property name="angle">0</property>
  451.             </widget>
  452.             <packing>
  453.               <property name="padding">0</property>
  454.               <property name="expand">False</property>
  455.               <property name="fill">False</property>
  456.             </packing>
  457.           </child>
  458.  
  459.           <child>
  460.             <widget class="GtkHBox" id="hbox145">
  461.               <property name="visible">True</property>
  462.               <property name="homogeneous">False</property>
  463.               <property name="spacing">0</property>
  464.  
  465.               <child>
  466.             <widget class="GtkLabel" id="label856">
  467.               <property name="visible">True</property>
  468.               <property name="label" translatable="yes">    </property>
  469.               <property name="use_underline">False</property>
  470.               <property name="use_markup">False</property>
  471.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  472.               <property name="wrap">False</property>
  473.               <property name="selectable">False</property>
  474.               <property name="xalign">0.5</property>
  475.               <property name="yalign">0.5</property>
  476.               <property name="xpad">0</property>
  477.               <property name="ypad">0</property>
  478.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  479.               <property name="width_chars">-1</property>
  480.               <property name="single_line_mode">False</property>
  481.               <property name="angle">0</property>
  482.             </widget>
  483.             <packing>
  484.               <property name="padding">0</property>
  485.               <property name="expand">False</property>
  486.               <property name="fill">False</property>
  487.             </packing>
  488.               </child>
  489.  
  490.               <child>
  491.             <widget class="GtkVBox" id="vbox231">
  492.               <property name="visible">True</property>
  493.               <property name="homogeneous">False</property>
  494.               <property name="spacing">6</property>
  495.  
  496.               <child>
  497.                 <widget class="GtkCheckButton" id="right_margin_checkbutton">
  498.                   <property name="visible">True</property>
  499.                   <property name="can_focus">True</property>
  500.                   <property name="label" translatable="yes">Display right _margin</property>
  501.                   <property name="use_underline">True</property>
  502.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  503.                   <property name="focus_on_click">True</property>
  504.                   <property name="active">False</property>
  505.                   <property name="inconsistent">False</property>
  506.                   <property name="draw_indicator">True</property>
  507.                 </widget>
  508.                 <packing>
  509.                   <property name="padding">0</property>
  510.                   <property name="expand">False</property>
  511.                   <property name="fill">False</property>
  512.                 </packing>
  513.               </child>
  514.  
  515.               <child>
  516.                 <widget class="GtkHBox" id="right_margin_position_hbox">
  517.                   <property name="visible">True</property>
  518.                   <property name="homogeneous">False</property>
  519.                   <property name="spacing">6</property>
  520.  
  521.                   <child>
  522.                 <widget class="GtkLabel" id="label857">
  523.                   <property name="visible">True</property>
  524.                   <property name="label" translatable="yes">_Right margin at column:</property>
  525.                   <property name="use_underline">True</property>
  526.                   <property name="use_markup">False</property>
  527.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  528.                   <property name="wrap">False</property>
  529.                   <property name="selectable">False</property>
  530.                   <property name="xalign">0</property>
  531.                   <property name="yalign">0.5</property>
  532.                   <property name="xpad">0</property>
  533.                   <property name="ypad">0</property>
  534.                   <property name="mnemonic_widget">right_margin_position_spinbutton</property>
  535.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  536.                   <property name="width_chars">-1</property>
  537.                   <property name="single_line_mode">False</property>
  538.                   <property name="angle">0</property>
  539.                 </widget>
  540.                 <packing>
  541.                   <property name="padding">0</property>
  542.                   <property name="expand">False</property>
  543.                   <property name="fill">False</property>
  544.                 </packing>
  545.                   </child>
  546.  
  547.                   <child>
  548.                 <widget class="GtkSpinButton" id="right_margin_position_spinbutton">
  549.                   <property name="visible">True</property>
  550.                   <property name="can_focus">True</property>
  551.                   <property name="climb_rate">1</property>
  552.                   <property name="digits">0</property>
  553.                   <property name="numeric">True</property>
  554.                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  555.                   <property name="snap_to_ticks">True</property>
  556.                   <property name="wrap">False</property>
  557.                   <property name="adjustment">80 1 160 1 10 10</property>
  558.                 </widget>
  559.                 <packing>
  560.                   <property name="padding">0</property>
  561.                   <property name="expand">False</property>
  562.                   <property name="fill">False</property>
  563.                 </packing>
  564.                   </child>
  565.                 </widget>
  566.                 <packing>
  567.                   <property name="padding">0</property>
  568.                   <property name="expand">False</property>
  569.                   <property name="fill">False</property>
  570.                 </packing>
  571.               </child>
  572.             </widget>
  573.             <packing>
  574.               <property name="padding">0</property>
  575.               <property name="expand">True</property>
  576.               <property name="fill">True</property>
  577.             </packing>
  578.               </child>
  579.             </widget>
  580.             <packing>
  581.               <property name="padding">0</property>
  582.               <property name="expand">True</property>
  583.               <property name="fill">True</property>
  584.             </packing>
  585.           </child>
  586.         </widget>
  587.         <packing>
  588.           <property name="padding">0</property>
  589.           <property name="expand">False</property>
  590.           <property name="fill">False</property>
  591.         </packing>
  592.           </child>
  593.  
  594.           <child>
  595.         <widget class="GtkVBox" id="vbox249">
  596.           <property name="visible">True</property>
  597.           <property name="homogeneous">False</property>
  598.           <property name="spacing">6</property>
  599.  
  600.           <child>
  601.             <widget class="GtkLabel" id="label881">
  602.               <property name="visible">True</property>
  603.               <property name="label" translatable="yes"><b>Bracket Matching</b></property>
  604.               <property name="use_underline">False</property>
  605.               <property name="use_markup">True</property>
  606.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  607.               <property name="wrap">False</property>
  608.               <property name="selectable">False</property>
  609.               <property name="xalign">0</property>
  610.               <property name="yalign">0.5</property>
  611.               <property name="xpad">0</property>
  612.               <property name="ypad">0</property>
  613.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  614.               <property name="width_chars">-1</property>
  615.               <property name="single_line_mode">False</property>
  616.               <property name="angle">0</property>
  617.             </widget>
  618.             <packing>
  619.               <property name="padding">0</property>
  620.               <property name="expand">False</property>
  621.               <property name="fill">False</property>
  622.             </packing>
  623.           </child>
  624.  
  625.           <child>
  626.             <widget class="GtkHBox" id="hbox163">
  627.               <property name="visible">True</property>
  628.               <property name="homogeneous">False</property>
  629.               <property name="spacing">0</property>
  630.  
  631.               <child>
  632.             <widget class="GtkLabel" id="label882">
  633.               <property name="visible">True</property>
  634.               <property name="label" translatable="yes">    </property>
  635.               <property name="use_underline">False</property>
  636.               <property name="use_markup">False</property>
  637.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  638.               <property name="wrap">False</property>
  639.               <property name="selectable">False</property>
  640.               <property name="xalign">0.5</property>
  641.               <property name="yalign">0.5</property>
  642.               <property name="xpad">0</property>
  643.               <property name="ypad">0</property>
  644.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  645.               <property name="width_chars">-1</property>
  646.               <property name="single_line_mode">False</property>
  647.               <property name="angle">0</property>
  648.             </widget>
  649.             <packing>
  650.               <property name="padding">0</property>
  651.               <property name="expand">False</property>
  652.               <property name="fill">False</property>
  653.             </packing>
  654.               </child>
  655.  
  656.               <child>
  657.             <widget class="GtkVBox" id="vbox250">
  658.               <property name="visible">True</property>
  659.               <property name="homogeneous">False</property>
  660.               <property name="spacing">6</property>
  661.  
  662.               <child>
  663.                 <widget class="GtkCheckButton" id="bracket_matching_checkbutton">
  664.                   <property name="visible">True</property>
  665.                   <property name="can_focus">True</property>
  666.                   <property name="label" translatable="yes">Highlight matching _bracket</property>
  667.                   <property name="use_underline">True</property>
  668.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  669.                   <property name="focus_on_click">True</property>
  670.                   <property name="active">False</property>
  671.                   <property name="inconsistent">False</property>
  672.                   <property name="draw_indicator">True</property>
  673.                 </widget>
  674.                 <packing>
  675.                   <property name="padding">0</property>
  676.                   <property name="expand">False</property>
  677.                   <property name="fill">False</property>
  678.                 </packing>
  679.               </child>
  680.             </widget>
  681.             <packing>
  682.               <property name="padding">0</property>
  683.               <property name="expand">True</property>
  684.               <property name="fill">True</property>
  685.             </packing>
  686.               </child>
  687.             </widget>
  688.             <packing>
  689.               <property name="padding">0</property>
  690.               <property name="expand">True</property>
  691.               <property name="fill">True</property>
  692.             </packing>
  693.           </child>
  694.         </widget>
  695.         <packing>
  696.           <property name="padding">0</property>
  697.           <property name="expand">True</property>
  698.           <property name="fill">True</property>
  699.         </packing>
  700.           </child>
  701.         </widget>
  702.         <packing>
  703.           <property name="tab_expand">False</property>
  704.           <property name="tab_fill">True</property>
  705.         </packing>
  706.       </child>
  707.  
  708.       <child>
  709.         <widget class="GtkLabel" id="label853">
  710.           <property name="visible">True</property>
  711.           <property name="label" translatable="yes">View</property>
  712.           <property name="use_underline">False</property>
  713.           <property name="use_markup">False</property>
  714.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  715.           <property name="wrap">False</property>
  716.           <property name="selectable">False</property>
  717.           <property name="xalign">0.5</property>
  718.           <property name="yalign">0.5</property>
  719.           <property name="xpad">0</property>
  720.           <property name="ypad">0</property>
  721.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  722.           <property name="width_chars">-1</property>
  723.           <property name="single_line_mode">False</property>
  724.           <property name="angle">0</property>
  725.         </widget>
  726.         <packing>
  727.           <property name="type">tab</property>
  728.         </packing>
  729.       </child>
  730.  
  731.       <child>
  732.         <widget class="GtkVBox" id="vbox224">
  733.           <property name="border_width">12</property>
  734.           <property name="visible">True</property>
  735.           <property name="homogeneous">False</property>
  736.           <property name="spacing">18</property>
  737.  
  738.           <child>
  739.         <widget class="GtkVBox" id="vbox225">
  740.           <property name="visible">True</property>
  741.           <property name="homogeneous">False</property>
  742.           <property name="spacing">6</property>
  743.  
  744.           <child>
  745.             <widget class="GtkLabel" id="label846">
  746.               <property name="visible">True</property>
  747.               <property name="label" translatable="yes"><b>Tab Stops</b></property>
  748.               <property name="use_underline">False</property>
  749.               <property name="use_markup">True</property>
  750.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  751.               <property name="wrap">False</property>
  752.               <property name="selectable">False</property>
  753.               <property name="xalign">0</property>
  754.               <property name="yalign">0.5</property>
  755.               <property name="xpad">0</property>
  756.               <property name="ypad">0</property>
  757.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  758.               <property name="width_chars">-1</property>
  759.               <property name="single_line_mode">False</property>
  760.               <property name="angle">0</property>
  761.             </widget>
  762.             <packing>
  763.               <property name="padding">0</property>
  764.               <property name="expand">False</property>
  765.               <property name="fill">False</property>
  766.             </packing>
  767.           </child>
  768.  
  769.           <child>
  770.             <widget class="GtkHBox" id="hbox141">
  771.               <property name="visible">True</property>
  772.               <property name="homogeneous">False</property>
  773.               <property name="spacing">0</property>
  774.  
  775.               <child>
  776.             <widget class="GtkLabel" id="label847">
  777.               <property name="visible">True</property>
  778.               <property name="label" translatable="yes">    </property>
  779.               <property name="use_underline">False</property>
  780.               <property name="use_markup">False</property>
  781.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  782.               <property name="wrap">False</property>
  783.               <property name="selectable">False</property>
  784.               <property name="xalign">0.5</property>
  785.               <property name="yalign">0.5</property>
  786.               <property name="xpad">0</property>
  787.               <property name="ypad">0</property>
  788.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  789.               <property name="width_chars">-1</property>
  790.               <property name="single_line_mode">False</property>
  791.               <property name="angle">0</property>
  792.             </widget>
  793.             <packing>
  794.               <property name="padding">0</property>
  795.               <property name="expand">False</property>
  796.               <property name="fill">False</property>
  797.             </packing>
  798.               </child>
  799.  
  800.               <child>
  801.             <widget class="GtkVBox" id="vbox205">
  802.               <property name="visible">True</property>
  803.               <property name="homogeneous">False</property>
  804.               <property name="spacing">6</property>
  805.  
  806.               <child>
  807.                 <widget class="GtkHBox" id="tabs_width_hbox">
  808.                   <property name="visible">True</property>
  809.                   <property name="homogeneous">False</property>
  810.                   <property name="spacing">6</property>
  811.  
  812.                   <child>
  813.                 <widget class="GtkLabel" id="label98">
  814.                   <property name="visible">True</property>
  815.                   <property name="label" translatable="yes">_Tab width:</property>
  816.                   <property name="use_underline">True</property>
  817.                   <property name="use_markup">False</property>
  818.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  819.                   <property name="wrap">False</property>
  820.                   <property name="selectable">False</property>
  821.                   <property name="xalign">0.5</property>
  822.                   <property name="yalign">0.5</property>
  823.                   <property name="xpad">0</property>
  824.                   <property name="ypad">0</property>
  825.                   <property name="mnemonic_widget">tabs_width_spinbutton</property>
  826.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  827.                   <property name="width_chars">-1</property>
  828.                   <property name="single_line_mode">False</property>
  829.                   <property name="angle">0</property>
  830.                 </widget>
  831.                 <packing>
  832.                   <property name="padding">0</property>
  833.                   <property name="expand">False</property>
  834.                   <property name="fill">False</property>
  835.                 </packing>
  836.                   </child>
  837.  
  838.                   <child>
  839.                 <widget class="GtkSpinButton" id="tabs_width_spinbutton">
  840.                   <property name="visible">True</property>
  841.                   <property name="can_focus">True</property>
  842.                   <property name="climb_rate">1</property>
  843.                   <property name="digits">0</property>
  844.                   <property name="numeric">True</property>
  845.                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  846.                   <property name="snap_to_ticks">False</property>
  847.                   <property name="wrap">False</property>
  848.                   <property name="adjustment">8 1 24 1 4 8</property>
  849.                 </widget>
  850.                 <packing>
  851.                   <property name="padding">0</property>
  852.                   <property name="expand">False</property>
  853.                   <property name="fill">False</property>
  854.                 </packing>
  855.                   </child>
  856.                 </widget>
  857.                 <packing>
  858.                   <property name="padding">0</property>
  859.                   <property name="expand">True</property>
  860.                   <property name="fill">True</property>
  861.                 </packing>
  862.               </child>
  863.  
  864.               <child>
  865.                 <widget class="GtkCheckButton" id="insert_spaces_checkbutton">
  866.                   <property name="visible">True</property>
  867.                   <property name="can_focus">True</property>
  868.                   <property name="label" translatable="yes">Insert _spaces instead of tabs</property>
  869.                   <property name="use_underline">True</property>
  870.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  871.                   <property name="focus_on_click">True</property>
  872.                   <property name="active">False</property>
  873.                   <property name="inconsistent">False</property>
  874.                   <property name="draw_indicator">True</property>
  875.                 </widget>
  876.                 <packing>
  877.                   <property name="padding">0</property>
  878.                   <property name="expand">False</property>
  879.                   <property name="fill">False</property>
  880.                 </packing>
  881.               </child>
  882.             </widget>
  883.             <packing>
  884.               <property name="padding">0</property>
  885.               <property name="expand">False</property>
  886.               <property name="fill">False</property>
  887.             </packing>
  888.               </child>
  889.             </widget>
  890.             <packing>
  891.               <property name="padding">0</property>
  892.               <property name="expand">False</property>
  893.               <property name="fill">False</property>
  894.             </packing>
  895.           </child>
  896.         </widget>
  897.         <packing>
  898.           <property name="padding">0</property>
  899.           <property name="expand">False</property>
  900.           <property name="fill">False</property>
  901.         </packing>
  902.           </child>
  903.  
  904.           <child>
  905.         <widget class="GtkVBox" id="vbox227">
  906.           <property name="visible">True</property>
  907.           <property name="homogeneous">False</property>
  908.           <property name="spacing">6</property>
  909.  
  910.           <child>
  911.             <widget class="GtkLabel" id="label851">
  912.               <property name="visible">True</property>
  913.               <property name="label" translatable="yes"><b>Automatic Indentation</b></property>
  914.               <property name="use_underline">False</property>
  915.               <property name="use_markup">True</property>
  916.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  917.               <property name="wrap">False</property>
  918.               <property name="selectable">False</property>
  919.               <property name="xalign">0</property>
  920.               <property name="yalign">0.5</property>
  921.               <property name="xpad">0</property>
  922.               <property name="ypad">0</property>
  923.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  924.               <property name="width_chars">-1</property>
  925.               <property name="single_line_mode">False</property>
  926.               <property name="angle">0</property>
  927.             </widget>
  928.             <packing>
  929.               <property name="padding">0</property>
  930.               <property name="expand">False</property>
  931.               <property name="fill">False</property>
  932.             </packing>
  933.           </child>
  934.  
  935.           <child>
  936.             <widget class="GtkHBox" id="hbox143">
  937.               <property name="visible">True</property>
  938.               <property name="homogeneous">False</property>
  939.               <property name="spacing">0</property>
  940.  
  941.               <child>
  942.             <widget class="GtkLabel" id="label852">
  943.               <property name="visible">True</property>
  944.               <property name="label" translatable="yes">    </property>
  945.               <property name="use_underline">False</property>
  946.               <property name="use_markup">False</property>
  947.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  948.               <property name="wrap">False</property>
  949.               <property name="selectable">False</property>
  950.               <property name="xalign">0.5</property>
  951.               <property name="yalign">0.5</property>
  952.               <property name="xpad">0</property>
  953.               <property name="ypad">0</property>
  954.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  955.               <property name="width_chars">-1</property>
  956.               <property name="single_line_mode">False</property>
  957.               <property name="angle">0</property>
  958.             </widget>
  959.             <packing>
  960.               <property name="padding">0</property>
  961.               <property name="expand">False</property>
  962.               <property name="fill">False</property>
  963.             </packing>
  964.               </child>
  965.  
  966.               <child>
  967.             <widget class="GtkCheckButton" id="auto_indent_checkbutton">
  968.               <property name="visible">True</property>
  969.               <property name="can_focus">True</property>
  970.               <property name="label" translatable="yes">_Enable automatic indentation</property>
  971.               <property name="use_underline">True</property>
  972.               <property name="relief">GTK_RELIEF_NORMAL</property>
  973.               <property name="focus_on_click">True</property>
  974.               <property name="active">False</property>
  975.               <property name="inconsistent">False</property>
  976.               <property name="draw_indicator">True</property>
  977.             </widget>
  978.             <packing>
  979.               <property name="padding">0</property>
  980.               <property name="expand">False</property>
  981.               <property name="fill">False</property>
  982.             </packing>
  983.               </child>
  984.             </widget>
  985.             <packing>
  986.               <property name="padding">0</property>
  987.               <property name="expand">False</property>
  988.               <property name="fill">False</property>
  989.             </packing>
  990.           </child>
  991.         </widget>
  992.         <packing>
  993.           <property name="padding">0</property>
  994.           <property name="expand">False</property>
  995.           <property name="fill">False</property>
  996.         </packing>
  997.           </child>
  998.  
  999.           <child>
  1000.         <widget class="GtkVBox" id="vbox232">
  1001.           <property name="visible">True</property>
  1002.           <property name="homogeneous">False</property>
  1003.           <property name="spacing">6</property>
  1004.  
  1005.           <child>
  1006.             <widget class="GtkLabel" id="label859">
  1007.               <property name="visible">True</property>
  1008.               <property name="label" translatable="yes"><b>File Saving</b></property>
  1009.               <property name="use_underline">False</property>
  1010.               <property name="use_markup">True</property>
  1011.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1012.               <property name="wrap">False</property>
  1013.               <property name="selectable">False</property>
  1014.               <property name="xalign">0</property>
  1015.               <property name="yalign">0.5</property>
  1016.               <property name="xpad">0</property>
  1017.               <property name="ypad">0</property>
  1018.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1019.               <property name="width_chars">-1</property>
  1020.               <property name="single_line_mode">False</property>
  1021.               <property name="angle">0</property>
  1022.             </widget>
  1023.             <packing>
  1024.               <property name="padding">0</property>
  1025.               <property name="expand">False</property>
  1026.               <property name="fill">False</property>
  1027.             </packing>
  1028.           </child>
  1029.  
  1030.           <child>
  1031.             <widget class="GtkHBox" id="hbox147">
  1032.               <property name="visible">True</property>
  1033.               <property name="homogeneous">False</property>
  1034.               <property name="spacing">0</property>
  1035.  
  1036.               <child>
  1037.             <widget class="GtkLabel" id="label860">
  1038.               <property name="visible">True</property>
  1039.               <property name="label" translatable="yes">    </property>
  1040.               <property name="use_underline">False</property>
  1041.               <property name="use_markup">False</property>
  1042.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1043.               <property name="wrap">False</property>
  1044.               <property name="selectable">False</property>
  1045.               <property name="xalign">0.5</property>
  1046.               <property name="yalign">0.5</property>
  1047.               <property name="xpad">0</property>
  1048.               <property name="ypad">0</property>
  1049.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1050.               <property name="width_chars">-1</property>
  1051.               <property name="single_line_mode">False</property>
  1052.               <property name="angle">0</property>
  1053.             </widget>
  1054.             <packing>
  1055.               <property name="padding">0</property>
  1056.               <property name="expand">False</property>
  1057.               <property name="fill">False</property>
  1058.             </packing>
  1059.               </child>
  1060.  
  1061.               <child>
  1062.             <widget class="GtkVBox" id="vbox187">
  1063.               <property name="visible">True</property>
  1064.               <property name="homogeneous">False</property>
  1065.               <property name="spacing">6</property>
  1066.  
  1067.               <child>
  1068.                 <widget class="GtkCheckButton" id="backup_copy_checkbutton">
  1069.                   <property name="visible">True</property>
  1070.                   <property name="can_focus">True</property>
  1071.                   <property name="label" translatable="yes">Create a _backup copy of files before saving</property>
  1072.                   <property name="use_underline">True</property>
  1073.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1074.                   <property name="focus_on_click">True</property>
  1075.                   <property name="active">False</property>
  1076.                   <property name="inconsistent">False</property>
  1077.                   <property name="draw_indicator">True</property>
  1078.                 </widget>
  1079.                 <packing>
  1080.                   <property name="padding">0</property>
  1081.                   <property name="expand">False</property>
  1082.                   <property name="fill">False</property>
  1083.                 </packing>
  1084.               </child>
  1085.  
  1086.               <child>
  1087.                 <widget class="GtkHBox" id="autosave_hbox">
  1088.                   <property name="visible">True</property>
  1089.                   <property name="homogeneous">False</property>
  1090.                   <property name="spacing">6</property>
  1091.  
  1092.                   <child>
  1093.                 <widget class="GtkCheckButton" id="auto_save_checkbutton">
  1094.                   <property name="visible">True</property>
  1095.                   <property name="can_focus">True</property>
  1096.                   <property name="label" translatable="yes">_Autosave files every</property>
  1097.                   <property name="use_underline">True</property>
  1098.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1099.                   <property name="focus_on_click">True</property>
  1100.                   <property name="active">False</property>
  1101.                   <property name="inconsistent">False</property>
  1102.                   <property name="draw_indicator">True</property>
  1103.                 </widget>
  1104.                 <packing>
  1105.                   <property name="padding">0</property>
  1106.                   <property name="expand">False</property>
  1107.                   <property name="fill">False</property>
  1108.                 </packing>
  1109.                   </child>
  1110.  
  1111.                   <child>
  1112.                 <widget class="GtkSpinButton" id="auto_save_spinbutton">
  1113.                   <property name="visible">True</property>
  1114.                   <property name="can_focus">True</property>
  1115.                   <property name="climb_rate">1</property>
  1116.                   <property name="digits">0</property>
  1117.                   <property name="numeric">True</property>
  1118.                   <property name="update_policy">GTK_UPDATE_ALWAYS</property>
  1119.                   <property name="snap_to_ticks">False</property>
  1120.                   <property name="wrap">False</property>
  1121.                   <property name="adjustment">8 1 100 1 10 10</property>
  1122.                 </widget>
  1123.                 <packing>
  1124.                   <property name="padding">0</property>
  1125.                   <property name="expand">False</property>
  1126.                   <property name="fill">False</property>
  1127.                 </packing>
  1128.                   </child>
  1129.  
  1130.                   <child>
  1131.                 <widget class="GtkLabel" id="label97">
  1132.                   <property name="visible">True</property>
  1133.                   <property name="label" translatable="yes">_minutes</property>
  1134.                   <property name="use_underline">True</property>
  1135.                   <property name="use_markup">False</property>
  1136.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  1137.                   <property name="wrap">False</property>
  1138.                   <property name="selectable">False</property>
  1139.                   <property name="xalign">0.5</property>
  1140.                   <property name="yalign">0.5</property>
  1141.                   <property name="xpad">0</property>
  1142.                   <property name="ypad">0</property>
  1143.                   <property name="mnemonic_widget">auto_save_spinbutton</property>
  1144.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1145.                   <property name="width_chars">-1</property>
  1146.                   <property name="single_line_mode">False</property>
  1147.                   <property name="angle">0</property>
  1148.                 </widget>
  1149.                 <packing>
  1150.                   <property name="padding">0</property>
  1151.                   <property name="expand">False</property>
  1152.                   <property name="fill">False</property>
  1153.                 </packing>
  1154.                   </child>
  1155.                 </widget>
  1156.                 <packing>
  1157.                   <property name="padding">0</property>
  1158.                   <property name="expand">True</property>
  1159.                   <property name="fill">True</property>
  1160.                 </packing>
  1161.               </child>
  1162.             </widget>
  1163.             <packing>
  1164.               <property name="padding">0</property>
  1165.               <property name="expand">False</property>
  1166.               <property name="fill">False</property>
  1167.             </packing>
  1168.               </child>
  1169.             </widget>
  1170.             <packing>
  1171.               <property name="padding">0</property>
  1172.               <property name="expand">True</property>
  1173.               <property name="fill">True</property>
  1174.             </packing>
  1175.           </child>
  1176.         </widget>
  1177.         <packing>
  1178.           <property name="padding">0</property>
  1179.           <property name="expand">False</property>
  1180.           <property name="fill">False</property>
  1181.         </packing>
  1182.           </child>
  1183.         </widget>
  1184.         <packing>
  1185.           <property name="tab_expand">False</property>
  1186.           <property name="tab_fill">True</property>
  1187.         </packing>
  1188.       </child>
  1189.  
  1190.       <child>
  1191.         <widget class="GtkLabel" id="label829">
  1192.           <property name="visible">True</property>
  1193.           <property name="label" translatable="yes">Editor</property>
  1194.           <property name="use_underline">False</property>
  1195.           <property name="use_markup">False</property>
  1196.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1197.           <property name="wrap">False</property>
  1198.           <property name="selectable">False</property>
  1199.           <property name="xalign">0.5</property>
  1200.           <property name="yalign">0.5</property>
  1201.           <property name="xpad">0</property>
  1202.           <property name="ypad">0</property>
  1203.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1204.           <property name="width_chars">-1</property>
  1205.           <property name="single_line_mode">False</property>
  1206.           <property name="angle">0</property>
  1207.         </widget>
  1208.         <packing>
  1209.           <property name="type">tab</property>
  1210.         </packing>
  1211.       </child>
  1212.  
  1213.       <child>
  1214.         <widget class="GtkVBox" id="vbox202">
  1215.           <property name="border_width">12</property>
  1216.           <property name="visible">True</property>
  1217.           <property name="homogeneous">False</property>
  1218.           <property name="spacing">18</property>
  1219.  
  1220.           <child>
  1221.         <widget class="GtkVBox" id="vbox185">
  1222.           <property name="visible">True</property>
  1223.           <property name="homogeneous">False</property>
  1224.           <property name="spacing">6</property>
  1225.  
  1226.           <child>
  1227.             <widget class="GtkLabel" id="label819">
  1228.               <property name="visible">True</property>
  1229.               <property name="label" translatable="yes"><b>Font</b></property>
  1230.               <property name="use_underline">False</property>
  1231.               <property name="use_markup">True</property>
  1232.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1233.               <property name="wrap">False</property>
  1234.               <property name="selectable">False</property>
  1235.               <property name="xalign">0</property>
  1236.               <property name="yalign">0.5</property>
  1237.               <property name="xpad">0</property>
  1238.               <property name="ypad">0</property>
  1239.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1240.               <property name="width_chars">-1</property>
  1241.               <property name="single_line_mode">False</property>
  1242.               <property name="angle">0</property>
  1243.             </widget>
  1244.             <packing>
  1245.               <property name="padding">0</property>
  1246.               <property name="expand">False</property>
  1247.               <property name="fill">False</property>
  1248.             </packing>
  1249.           </child>
  1250.  
  1251.           <child>
  1252.             <widget class="GtkHBox" id="hbox116">
  1253.               <property name="visible">True</property>
  1254.               <property name="homogeneous">False</property>
  1255.               <property name="spacing">0</property>
  1256.  
  1257.               <child>
  1258.             <widget class="GtkLabel" id="label800">
  1259.               <property name="visible">True</property>
  1260.               <property name="label" translatable="yes">    </property>
  1261.               <property name="use_underline">False</property>
  1262.               <property name="use_markup">False</property>
  1263.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1264.               <property name="wrap">False</property>
  1265.               <property name="selectable">False</property>
  1266.               <property name="xalign">0.5</property>
  1267.               <property name="yalign">0.5</property>
  1268.               <property name="xpad">0</property>
  1269.               <property name="ypad">0</property>
  1270.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1271.               <property name="width_chars">-1</property>
  1272.               <property name="single_line_mode">False</property>
  1273.               <property name="angle">0</property>
  1274.             </widget>
  1275.             <packing>
  1276.               <property name="padding">0</property>
  1277.               <property name="expand">False</property>
  1278.               <property name="fill">False</property>
  1279.             </packing>
  1280.               </child>
  1281.  
  1282.               <child>
  1283.             <widget class="GtkVBox" id="vbox183">
  1284.               <property name="visible">True</property>
  1285.               <property name="homogeneous">False</property>
  1286.               <property name="spacing">6</property>
  1287.  
  1288.               <child>
  1289.                 <widget class="GtkCheckButton" id="default_font_checkbutton">
  1290.                   <property name="visible">True</property>
  1291.                   <property name="can_focus">True</property>
  1292.                   <property name="label" translatable="no">_Use the system fixed width font (%s)</property>
  1293.                   <property name="use_underline">True</property>
  1294.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1295.                   <property name="focus_on_click">True</property>
  1296.                   <property name="active">False</property>
  1297.                   <property name="inconsistent">False</property>
  1298.                   <property name="draw_indicator">True</property>
  1299.                 </widget>
  1300.                 <packing>
  1301.                   <property name="padding">0</property>
  1302.                   <property name="expand">False</property>
  1303.                   <property name="fill">False</property>
  1304.                 </packing>
  1305.               </child>
  1306.  
  1307.               <child>
  1308.                 <widget class="GtkHBox" id="font_hbox">
  1309.                   <property name="visible">True</property>
  1310.                   <property name="homogeneous">False</property>
  1311.                   <property name="spacing">12</property>
  1312.  
  1313.                   <child>
  1314.                 <widget class="GtkLabel" id="font_label">
  1315.                   <property name="visible">True</property>
  1316.                   <property name="label" translatable="yes">Editor _font: </property>
  1317.                   <property name="use_underline">True</property>
  1318.                   <property name="use_markup">False</property>
  1319.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  1320.                   <property name="wrap">False</property>
  1321.                   <property name="selectable">False</property>
  1322.                   <property name="xalign">0</property>
  1323.                   <property name="yalign">0.5</property>
  1324.                   <property name="xpad">0</property>
  1325.                   <property name="ypad">0</property>
  1326.                   <property name="mnemonic_widget">font_button</property>
  1327.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1328.                   <property name="width_chars">-1</property>
  1329.                   <property name="single_line_mode">False</property>
  1330.                   <property name="angle">0</property>
  1331.                 </widget>
  1332.                 <packing>
  1333.                   <property name="padding">0</property>
  1334.                   <property name="expand">False</property>
  1335.                   <property name="fill">False</property>
  1336.                 </packing>
  1337.                   </child>
  1338.  
  1339.                   <child>
  1340.                 <widget class="GtkFontButton" id="font_button">
  1341.                   <property name="visible">True</property>
  1342.                   <property name="can_focus">True</property>
  1343.                   <property name="title" translatable="yes">Pick the editor font</property>
  1344.                   <property name="show_style">True</property>
  1345.                   <property name="show_size">True</property>
  1346.                   <property name="use_font">True</property>
  1347.                   <property name="use_size">False</property>
  1348.                   <property name="focus_on_click">True</property>
  1349.                 </widget>
  1350.                 <packing>
  1351.                   <property name="padding">0</property>
  1352.                   <property name="expand">True</property>
  1353.                   <property name="fill">True</property>
  1354.                 </packing>
  1355.                   </child>
  1356.                 </widget>
  1357.                 <packing>
  1358.                   <property name="padding">0</property>
  1359.                   <property name="expand">False</property>
  1360.                   <property name="fill">False</property>
  1361.                 </packing>
  1362.               </child>
  1363.             </widget>
  1364.             <packing>
  1365.               <property name="padding">0</property>
  1366.               <property name="expand">True</property>
  1367.               <property name="fill">True</property>
  1368.             </packing>
  1369.               </child>
  1370.             </widget>
  1371.             <packing>
  1372.               <property name="padding">0</property>
  1373.               <property name="expand">True</property>
  1374.               <property name="fill">True</property>
  1375.             </packing>
  1376.           </child>
  1377.         </widget>
  1378.         <packing>
  1379.           <property name="padding">0</property>
  1380.           <property name="expand">False</property>
  1381.           <property name="fill">False</property>
  1382.         </packing>
  1383.           </child>
  1384.  
  1385.           <child>
  1386.         <widget class="GtkVBox" id="vbox14">
  1387.           <property name="visible">True</property>
  1388.           <property name="homogeneous">False</property>
  1389.           <property name="spacing">6</property>
  1390.  
  1391.           <child>
  1392.             <widget class="GtkLabel" id="label798">
  1393.               <property name="visible">True</property>
  1394.               <property name="label" translatable="yes"><span weight="bold">Colors</span></property>
  1395.               <property name="use_underline">False</property>
  1396.               <property name="use_markup">True</property>
  1397.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1398.               <property name="wrap">False</property>
  1399.               <property name="selectable">False</property>
  1400.               <property name="xalign">0</property>
  1401.               <property name="yalign">0.5</property>
  1402.               <property name="xpad">0</property>
  1403.               <property name="ypad">0</property>
  1404.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1405.               <property name="width_chars">-1</property>
  1406.               <property name="single_line_mode">False</property>
  1407.               <property name="angle">0</property>
  1408.             </widget>
  1409.             <packing>
  1410.               <property name="padding">0</property>
  1411.               <property name="expand">False</property>
  1412.               <property name="fill">False</property>
  1413.             </packing>
  1414.           </child>
  1415.  
  1416.           <child>
  1417.             <widget class="GtkHBox" id="hbox115">
  1418.               <property name="visible">True</property>
  1419.               <property name="homogeneous">False</property>
  1420.               <property name="spacing">0</property>
  1421.  
  1422.               <child>
  1423.             <widget class="GtkLabel" id="label797">
  1424.               <property name="visible">True</property>
  1425.               <property name="label" translatable="yes">    </property>
  1426.               <property name="use_underline">False</property>
  1427.               <property name="use_markup">False</property>
  1428.               <property name="justify">GTK_JUSTIFY_LEFT</property>
  1429.               <property name="wrap">False</property>
  1430.               <property name="selectable">False</property>
  1431.               <property name="xalign">0.5</property>
  1432.               <property name="yalign">0.5</property>
  1433.               <property name="xpad">0</property>
  1434.               <property name="ypad">0</property>
  1435.               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1436.               <property name="width_chars">-1</property>
  1437.               <property name="single_line_mode">False</property>
  1438.               <property name="angle">0</property>
  1439.             </widget>
  1440.             <packing>
  1441.               <property name="padding">0</property>
  1442.               <property name="expand">False</property>
  1443.               <property name="fill">False</property>
  1444.             </packing>
  1445.               </child>
  1446.  
  1447.               <child>
  1448.             <widget class="GtkVBox" id="vbox184">
  1449.               <property name="visible">True</property>
  1450.               <property name="homogeneous">False</property>
  1451.               <property name="spacing">6</property>
  1452.  
  1453.               <child>
  1454.                 <widget class="GtkCheckButton" id="default_colors_checkbutton">
  1455.                   <property name="visible">True</property>
  1456.                   <property name="can_focus">True</property>
  1457.                   <property name="label" translatable="yes">U_se default theme colors</property>
  1458.                   <property name="use_underline">True</property>
  1459.                   <property name="relief">GTK_RELIEF_NORMAL</property>
  1460.                   <property name="focus_on_click">True</property>
  1461.                   <property name="active">False</property>
  1462.                   <property name="inconsistent">False</property>
  1463.                   <property name="draw_indicator">True</property>
  1464.                 </widget>
  1465.                 <packing>
  1466.                   <property name="padding">0</property>
  1467.                   <property name="expand">False</property>
  1468.                   <property name="fill">False</property>
  1469.                 </packing>
  1470.               </child>
  1471.  
  1472.               <child>
  1473.                 <widget class="GtkTable" id="colors_table">
  1474.                   <property name="visible">True</property>
  1475.                   <property name="n_rows">4</property>
  1476.                   <property name="n_columns">2</property>
  1477.                   <property name="homogeneous">False</property>
  1478.                   <property name="row_spacing">6</property>
  1479.                   <property name="column_spacing">12</property>
  1480.  
  1481.                   <child>
  1482.                 <widget class="GtkLabel" id="label25">
  1483.                   <property name="visible">True</property>
  1484.                   <property name="label" translatable="yes">_Background color:</property>
  1485.                   <property name="use_underline">True</property>
  1486.                   <property name="use_markup">False</property>
  1487.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  1488.                   <property name="wrap">False</property>
  1489.                   <property name="selectable">False</property>
  1490.                   <property name="xalign">0</property>
  1491.                   <property name="yalign">0.5</property>
  1492.                   <property name="xpad">0</property>
  1493.                   <property name="ypad">0</property>
  1494.                   <property name="mnemonic_widget">background_colorbutton</property>
  1495.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1496.                   <property name="width_chars">-1</property>
  1497.                   <property name="single_line_mode">False</property>
  1498.                   <property name="angle">0</property>
  1499.                 </widget>
  1500.                 <packing>
  1501.                   <property name="left_attach">0</property>
  1502.                   <property name="right_attach">1</property>
  1503.                   <property name="top_attach">1</property>
  1504.                   <property name="bottom_attach">2</property>
  1505.                   <property name="x_options">fill</property>
  1506.                   <property name="y_options"></property>
  1507.                 </packing>
  1508.                   </child>
  1509.  
  1510.                   <child>
  1511.                 <widget class="GtkLabel" id="label26">
  1512.                   <property name="visible">True</property>
  1513.                   <property name="label" translatable="yes">Selecte_d text color:</property>
  1514.                   <property name="use_underline">True</property>
  1515.                   <property name="use_markup">False</property>
  1516.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  1517.                   <property name="wrap">False</property>
  1518.                   <property name="selectable">False</property>
  1519.                   <property name="xalign">0</property>
  1520.                   <property name="yalign">0.5</property>
  1521.                   <property name="xpad">0</property>
  1522.                   <property name="ypad">0</property>
  1523.                   <property name="mnemonic_widget">seltext_colorbutton</property>
  1524.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1525.                   <property name="width_chars">-1</property>
  1526.                   <property name="single_line_mode">False</property>
  1527.                   <property name="angle">0</property>
  1528.                 </widget>
  1529.                 <packing>
  1530.                   <property name="left_attach">0</property>
  1531.                   <property name="right_attach">1</property>
  1532.                   <property name="top_attach">2</property>
  1533.                   <property name="bottom_attach">3</property>
  1534.                   <property name="x_options">fill</property>
  1535.                   <property name="y_options"></property>
  1536.                 </packing>
  1537.                   </child>
  1538.  
  1539.                   <child>
  1540.                 <widget class="GtkLabel" id="label27">
  1541.                   <property name="visible">True</property>
  1542.                   <property name="label" translatable="yes">Se_lection color:</property>
  1543.                   <property name="use_underline">True</property>
  1544.                   <property name="use_markup">False</property>
  1545.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  1546.                   <property name="wrap">False</property>
  1547.                   <property name="selectable">False</property>
  1548.                   <property name="xalign">0</property>
  1549.                   <property name="yalign">0.5</property>
  1550.                   <property name="xpad">0</property>
  1551.                   <property name="ypad">0</property>
  1552.                   <property name="mnemonic_widget">selection_colorbutton</property>
  1553.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1554.                   <property name="width_chars">-1</property>
  1555.                   <property name="single_line_mode">False</property>
  1556.                   <property name="angle">0</property>
  1557.                 </widget>
  1558.                 <packing>
  1559.                   <property name="left_attach">0</property>
  1560.                   <property name="right_attach">1</property>
  1561.                   <property name="top_attach">3</property>
  1562.                   <property name="bottom_attach">4</property>
  1563.                   <property name="x_options">fill</property>
  1564.                   <property name="y_options"></property>
  1565.                 </packing>
  1566.                   </child>
  1567.  
  1568.                   <child>
  1569.                 <widget class="GtkLabel" id="label24">
  1570.                   <property name="visible">True</property>
  1571.                   <property name="label" translatable="yes">Normal _text color:</property>
  1572.                   <property name="use_underline">True</property>
  1573.                   <property name="use_markup">False</property>
  1574.                   <property name="justify">GTK_JUSTIFY_CENTER</property>
  1575.                   <property name="wrap">False</property>
  1576.                   <property name="selectable">False</property>
  1577.                   <property name="xalign">0</property>
  1578.                   <property name="yalign">0.5</property>
  1579.                   <property name="xpad">0</property>
  1580.                   <property name="ypad">0</property>
  1581.                   <property name="mnemonic_widget">text_colorbutton</property>
  1582.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1583.                   <property name="width_chars">-1</property>
  1584.                   <property name="single_line_mode">False</property>
  1585.                   <property name="angle">0</property>
  1586.                 </widget>
  1587.                 <packing>
  1588.                   <property name="left_attach">0</property>
  1589.                   <property name="right_attach">1</property>
  1590.                   <property name="top_attach">0</property>
  1591.                   <property name="bottom_attach">1</property>
  1592.                   <property name="x_options">fill</property>
  1593.                   <property name="y_options"></property>
  1594.                 </packing>
  1595.                   </child>
  1596.  
  1597.                   <child>
  1598.                 <widget class="GtkColorButton" id="text_colorbutton">
  1599.                   <property name="visible">True</property>
  1600.                   <property name="can_focus">True</property>
  1601.                   <property name="use_alpha">False</property>
  1602.                   <property name="title" translatable="yes">Pick the normal text color</property>
  1603.                   <property name="focus_on_click">True</property>
  1604.                 </widget>
  1605.                 <packing>
  1606.                   <property name="left_attach">1</property>
  1607.                   <property name="right_attach">2</property>
  1608.                   <property name="top_attach">0</property>
  1609.                   <property name="bottom_attach">1</property>
  1610.                 </packing>
  1611.                   </child>
  1612.  
  1613.                   <child>
  1614.                 <widget class="GtkColorButton" id="background_colorbutton">
  1615.                   <property name="visible">True</property>
  1616.                   <property name="can_focus">True</property>
  1617.                   <property name="use_alpha">False</property>
  1618.                   <property name="title" translatable="yes">Pick the background color</property>
  1619.                   <property name="focus_on_click">True</property>
  1620.                 </widget>
  1621.                 <packing>
  1622.                   <property name="left_attach">1</property>
  1623.                   <property name="right_attach">2</property>
  1624.                   <property name="top_attach">1</property>
  1625.                   <property name="bottom_attach">2</property>
  1626.                 </packing>
  1627.                   </child>
  1628.  
  1629.                   <child>
  1630.                 <widget class="GtkColorButton" id="seltext_colorbutton">
  1631.                   <property name="visible">True</property>
  1632.                   <property name="can_focus">True</property>
  1633.                   <property name="use_alpha">False</property>
  1634.                   <property name="title" translatable="yes">Pick the selected text color</property>
  1635.                   <property name="focus_on_click">True</property>
  1636.                 </widget>
  1637.                 <packing>
  1638.                   <property name="left_attach">1</property>
  1639.                   <property name="right_attach">2</property>
  1640.                   <property name="top_attach">2</property>
  1641.                   <property name="bottom_attach">3</property>
  1642.                 </packing>
  1643.                   </child>
  1644.  
  1645.                   <child>
  1646.                 <widget class="GtkColorButton" id="selection_colorbutton">
  1647.                   <property name="visible">True</property>
  1648.                   <property name="can_focus">True</property>
  1649.                   <property name="use_alpha">False</property>
  1650.                   <property name="title" translatable="yes">Pick the selection color</property>
  1651.                   <property name="focus_on_click">True</property>
  1652.                 </widget>
  1653.                 <packing>
  1654.                   <property name="left_attach">1</property>
  1655.                   <property name="right_attach">2</property>
  1656.                   <property name="top_attach">3</property>
  1657.                   <property name="bottom_attach">4</property>
  1658.                 </packing>
  1659.                   </child>
  1660.                 </widget>
  1661.                 <packing>
  1662.                   <property name="padding">0</property>
  1663.                   <property name="expand">False</property>
  1664.                   <property name="fill">False</property>
  1665.                 </packing>
  1666.               </child>
  1667.             </widget>
  1668.             <packing>
  1669.               <property name="padding">0</property>
  1670.               <property name="expand">True</property>
  1671.               <property name="fill">True</property>
  1672.             </packing>
  1673.               </child>
  1674.             </widget>
  1675.             <packing>
  1676.               <property name="padding">0</property>
  1677.               <property name="expand">True</property>
  1678.               <property name="fill">True</property>
  1679.             </packing>
  1680.           </child>
  1681.         </widget>
  1682.         <packing>
  1683.           <property name="padding">0</property>
  1684.           <property name="expand">True</property>
  1685.           <property name="fill">True</property>
  1686.         </packing>
  1687.           </child>
  1688.         </widget>
  1689.         <packing>
  1690.           <property name="tab_expand">False</property>
  1691.           <property name="tab_fill">True</property>
  1692.         </packing>
  1693.       </child>
  1694.  
  1695.       <child>
  1696.         <widget class="GtkLabel" id="label830">
  1697.           <property name="visible">True</property>
  1698.           <property name="label" translatable="yes">Font & Colors</property>
  1699.           <property name="use_underline">False</property>
  1700.           <property name="use_markup">False</property>
  1701.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  1702.           <property name="wrap">False</property>
  1703.           <property name="selectable">False</property>
  1704.           <property name="xalign">0.5</property>
  1705.           <property name="yalign">0.5</property>
  1706.           <property name="xpad">0</property>
  1707.           <property name="ypad">0</property>
  1708.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1709.           <property name="width_chars">-1</property>
  1710.           <property name="single_line_mode">False</property>
  1711.           <property name="angle">0</property>
  1712.         </widget>
  1713.         <packing>
  1714.           <property name="type">tab</property>
  1715.         </packing>
  1716.       </child>
  1717.  
  1718.       <child>
  1719.         <widget class="GtkVBox" id="vbox233">
  1720.           <property name="border_width">12</property>
  1721.           <property name="visible">True</property>
  1722.           <property name="homogeneous">False</property>
  1723.           <property name="spacing">18</property>
  1724.  
  1725.           <child>
  1726.         <widget class="GtkCheckButton" id="enable_syntax_hl_checkbutton">
  1727.           <property name="visible">True</property>
  1728.           <property name="can_focus">True</property>
  1729.           <property name="label" translatable="yes">_Enable syntax highlighting</property>
  1730.           <property name="use_underline">True</property>
  1731.           <property name="relief">GTK_RELIEF_NORMAL</property>
  1732.           <property name="focus_on_click">True</property>
  1733.           <property name="active">False</property>
  1734.           <property name="inconsistent">False</property>
  1735.           <property name="draw_indicator">True</property>
  1736.         </widget>
  1737.         <packing>
  1738.           <property name="padding">0</property>
  1739.           <property name="expand">False</property>
  1740.           <property name="fill">False</property>
  1741.         </packing>
  1742.           </child>
  1743.  
  1744.           <child>
  1745.         <widget class="GtkHBox" id="hbox160">
  1746.           <property name="visible">True</property>
  1747.           <property name="homogeneous">False</property>
  1748.           <property name="spacing">0</property>
  1749.  
  1750.           <child>
  1751.             <widget class="GtkVBox" id="hl_vbox">
  1752.               <property name="visible">True</property>
  1753.               <property name="homogeneous">False</property>
  1754.               <property name="spacing">12</property>
  1755.  
  1756.               <child>
  1757.             <widget class="GtkHBox" id="hbox148">
  1758.               <property name="visible">True</property>
  1759.               <property name="homogeneous">False</property>
  1760.               <property name="spacing">6</property>
  1761.  
  1762.               <child>
  1763.                 <widget class="GtkLabel" id="label861">
  1764.                   <property name="visible">True</property>
  1765.                   <property name="label" translatable="yes">Highlight _mode:</property>
  1766.                   <property name="use_underline">True</property>
  1767.                   <property name="use_markup">False</property>
  1768.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  1769.                   <property name="wrap">False</property>
  1770.                   <property name="selectable">False</property>
  1771.                   <property name="xalign">0.5</property>
  1772.                   <property name="yalign">0.5</property>
  1773.                   <property name="xpad">0</property>
  1774.                   <property name="ypad">0</property>
  1775.                   <property name="mnemonic_widget">hl_mode_combobox</property>
  1776.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1777.                   <property name="width_chars">-1</property>
  1778.                   <property name="single_line_mode">False</property>
  1779.                   <property name="angle">0</property>
  1780.                 </widget>
  1781.                 <packing>
  1782.                   <property name="padding">0</property>
  1783.                   <property name="expand">False</property>
  1784.                   <property name="fill">False</property>
  1785.                 </packing>
  1786.               </child>
  1787.  
  1788.               <child>
  1789.                 <widget class="GtkComboBox" id="hl_mode_combobox">
  1790.                   <property name="visible">True</property>
  1791.                   <property name="items"></property>
  1792.                   <property name="add_tearoffs">False</property>
  1793.                   <property name="focus_on_click">True</property>
  1794.                 </widget>
  1795.                 <packing>
  1796.                   <property name="padding">0</property>
  1797.                   <property name="expand">True</property>
  1798.                   <property name="fill">True</property>
  1799.                 </packing>
  1800.               </child>
  1801.             </widget>
  1802.             <packing>
  1803.               <property name="padding">0</property>
  1804.               <property name="expand">False</property>
  1805.               <property name="fill">False</property>
  1806.             </packing>
  1807.               </child>
  1808.  
  1809.               <child>
  1810.             <widget class="GtkVBox" id="vbox241">
  1811.               <property name="visible">True</property>
  1812.               <property name="homogeneous">False</property>
  1813.               <property name="spacing">6</property>
  1814.  
  1815.               <child>
  1816.                 <widget class="GtkLabel" id="label872">
  1817.                   <property name="visible">True</property>
  1818.                   <property name="label" translatable="yes"><b>Elements</b></property>
  1819.                   <property name="use_underline">False</property>
  1820.                   <property name="use_markup">True</property>
  1821.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  1822.                   <property name="wrap">False</property>
  1823.                   <property name="selectable">False</property>
  1824.                   <property name="xalign">0</property>
  1825.                   <property name="yalign">0.5</property>
  1826.                   <property name="xpad">0</property>
  1827.                   <property name="ypad">0</property>
  1828.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1829.                   <property name="width_chars">-1</property>
  1830.                   <property name="single_line_mode">False</property>
  1831.                   <property name="angle">0</property>
  1832.                 </widget>
  1833.                 <packing>
  1834.                   <property name="padding">0</property>
  1835.                   <property name="expand">False</property>
  1836.                   <property name="fill">False</property>
  1837.                 </packing>
  1838.               </child>
  1839.  
  1840.               <child>
  1841.                 <widget class="GtkHBox" id="hbox154">
  1842.                   <property name="visible">True</property>
  1843.                   <property name="homogeneous">False</property>
  1844.                   <property name="spacing">0</property>
  1845.  
  1846.                   <child>
  1847.                 <widget class="GtkLabel" id="label873">
  1848.                   <property name="visible">True</property>
  1849.                   <property name="label" translatable="yes">    </property>
  1850.                   <property name="use_underline">False</property>
  1851.                   <property name="use_markup">False</property>
  1852.                   <property name="justify">GTK_JUSTIFY_LEFT</property>
  1853.                   <property name="wrap">False</property>
  1854.                   <property name="selectable">False</property>
  1855.                   <property name="xalign">0.5</property>
  1856.                   <property name="yalign">0.5</property>
  1857.                   <property name="xpad">0</property>
  1858.                   <property name="ypad">0</property>
  1859.                   <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  1860.                   <property name="width_chars">-1</property>
  1861.                   <property name="single_line_mode">False</property>
  1862.                   <property name="angle">0</property>
  1863.                 </widget>
  1864.                 <packing>
  1865.                   <property name="padding">0</property>
  1866.                   <property name="expand">False</property>
  1867.                   <property name="fill">False</property>
  1868.                 </packing>
  1869.                   </child>
  1870.  
  1871.                   <child>
  1872.                 <widget class="GtkHBox" id="hbox155">
  1873.                   <property name="visible">True</property>
  1874.                   <property name="homogeneous">False</property>
  1875.                   <property name="spacing">12</property>
  1876.  
  1877.                   <child>
  1878.                     <widget class="GtkScrolledWindow" id="scrolledwindow1">
  1879.                       <property name="visible">True</property>
  1880.                       <property name="can_focus">True</property>
  1881.                       <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  1882.                       <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
  1883.                       <property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
  1884.                       <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
  1885.  
  1886.                       <child>
  1887.                     <widget class="GtkTreeView" id="tags_treeview">
  1888.                       <property name="visible">True</property>
  1889.                       <property name="can_focus">True</property>
  1890.                       <property name="headers_visible">False</property>
  1891.                       <property name="rules_hint">False</property>
  1892.                       <property name="reorderable">False</property>
  1893.                       <property name="enable_search">True</property>
  1894.                       <property name="fixed_height_mode">False</property>
  1895.                       <property name="hover_selection">False</property>
  1896.                       <property name="hover_expand">False</property>
  1897.                     </widget>
  1898.                       </child>
  1899.                     </widget>
  1900.                     <packing>
  1901.                       <property name="padding">0</property>
  1902.                       <property name="expand">True</property>
  1903.                       <property name="fill">True</property>
  1904.                     </packing>
  1905.                   </child>
  1906.  
  1907.                   <child>
  1908.                     <widget class="GtkVBox" id="vbox243">
  1909.                       <property name="visible">True</property>
  1910.                       <property name="homogeneous">False</property>
  1911.                       <property name="spacing">12</property>
  1912.  
  1913.                       <child>
  1914.                     <widget class="GtkHBox" id="hbox156">
  1915.                       <property name="visible">True</property>
  1916.                       <property name="homogeneous">True</property>
  1917.                       <property name="spacing">0</property>
  1918.  
  1919.                       <child>
  1920.                         <widget class="GtkToggleButton" id="bold_togglebutton">
  1921.                           <property name="visible">True</property>
  1922.                           <property name="tooltip" translatable="yes">Bold</property>
  1923.                           <property name="relief">GTK_RELIEF_NONE</property>
  1924.                           <property name="focus_on_click">True</property>
  1925.                           <property name="active">False</property>
  1926.                           <property name="inconsistent">False</property>
  1927.  
  1928.                           <child>
  1929.                         <widget class="GtkImage" id="image15">
  1930.                           <property name="visible">True</property>
  1931.                           <property name="stock">gtk-bold</property>
  1932.                           <property name="icon_size">4</property>
  1933.                           <property name="xalign">0.5</property>
  1934.                           <property name="yalign">0.5</property>
  1935.                           <property name="xpad">0</property>
  1936.                           <property name="ypad">0</property>
  1937.                         </widget>
  1938.                           </child>
  1939.                         </widget>
  1940.                         <packing>
  1941.                           <property name="padding">0</property>
  1942.                           <property name="expand">False</property>
  1943.                           <property name="fill">False</property>
  1944.                         </packing>
  1945.                       </child>
  1946.  
  1947.                       <child>
  1948.                         <widget class="GtkToggleButton" id="italic_togglebutton">
  1949.                           <property name="visible">True</property>
  1950.                           <property name="tooltip" translatable="yes">Italic</property>
  1951.                           <property name="relief">GTK_RELIEF_NONE</property>
  1952.                           <property name="focus_on_click">True</property>
  1953.                           <property name="active">False</property>
  1954.                           <property name="inconsistent">False</property>
  1955.  
  1956.                           <child>
  1957.                         <widget class="GtkImage" id="image16">
  1958.                           <property name="visible">True</property>
  1959.                           <property name="stock">gtk-italic</property>
  1960.                           <property name="icon_size">4</property>
  1961.                           <property name="xalign">0.5</property>
  1962.                           <property name="yalign">0.5</property>
  1963.                           <property name="xpad">0</property>
  1964.                           <property name="ypad">0</property>
  1965.                         </widget>
  1966.                           </child>
  1967.                         </widget>
  1968.                         <packing>
  1969.                           <property name="padding">0</property>
  1970.                           <property name="expand">False</property>
  1971.                           <property name="fill">False</property>
  1972.                         </packing>
  1973.                       </child>
  1974.  
  1975.                       <child>
  1976.                         <widget class="GtkToggleButton" id="underline_togglebutton">
  1977.                           <property name="visible">True</property>
  1978.                           <property name="tooltip" translatable="yes">Underline</property>
  1979.                           <property name="can_focus">True</property>
  1980.                           <property name="relief">GTK_RELIEF_NONE</property>
  1981.                           <property name="focus_on_click">True</property>
  1982.                           <property name="active">False</property>
  1983.                           <property name="inconsistent">False</property>
  1984.  
  1985.                           <child>
  1986.                         <widget class="GtkImage" id="image17">
  1987.                           <property name="visible">True</property>
  1988.                           <property name="stock">gtk-underline</property>
  1989.                           <property name="icon_size">4</property>
  1990.                           <property name="xalign">0.5</property>
  1991.                           <property name="yalign">0.5</property>
  1992.                           <property name="xpad">0</property>
  1993.                           <property name="ypad">0</property>
  1994.                         </widget>
  1995.                           </child>
  1996.                         </widget>
  1997.                         <packing>
  1998.                           <property name="padding">0</property>
  1999.                           <property name="expand">False</property>
  2000.                           <property name="fill">False</property>
  2001.                         </packing>
  2002.                       </child>
  2003.  
  2004.                       <child>
  2005.                         <widget class="GtkToggleButton" id="strikethrough_togglebutton">
  2006.                           <property name="visible">True</property>
  2007.                           <property name="tooltip" translatable="yes">Strikethrough</property>
  2008.                           <property name="can_focus">True</property>
  2009.                           <property name="relief">GTK_RELIEF_NONE</property>
  2010.                           <property name="focus_on_click">True</property>
  2011.                           <property name="active">False</property>
  2012.                           <property name="inconsistent">False</property>
  2013.  
  2014.                           <child>
  2015.                         <widget class="GtkImage" id="image18">
  2016.                           <property name="visible">True</property>
  2017.                           <property name="stock">gtk-strikethrough</property>
  2018.                           <property name="icon_size">4</property>
  2019.                           <property name="xalign">0.5</property>
  2020.                           <property name="yalign">0.5</property>
  2021.                           <property name="xpad">0</property>
  2022.                           <property name="ypad">0</property>
  2023.                         </widget>
  2024.                           </child>
  2025.                         </widget>
  2026.                         <packing>
  2027.                           <property name="padding">0</property>
  2028.                           <property name="expand">False</property>
  2029.                           <property name="fill">False</property>
  2030.                         </packing>
  2031.                       </child>
  2032.                     </widget>
  2033.                     <packing>
  2034.                       <property name="padding">0</property>
  2035.                       <property name="expand">False</property>
  2036.                       <property name="fill">True</property>
  2037.                     </packing>
  2038.                       </child>
  2039.  
  2040.                       <child>
  2041.                     <widget class="GtkTable" id="table1">
  2042.                       <property name="visible">True</property>
  2043.                       <property name="n_rows">2</property>
  2044.                       <property name="n_columns">2</property>
  2045.                       <property name="homogeneous">False</property>
  2046.                       <property name="row_spacing">12</property>
  2047.                       <property name="column_spacing">12</property>
  2048.  
  2049.                       <child>
  2050.                         <widget class="GtkCheckButton" id="foreground_checkbutton">
  2051.                           <property name="visible">True</property>
  2052.                           <property name="can_focus">True</property>
  2053.                           <property name="label" translatable="yes">_Foreground:</property>
  2054.                           <property name="use_underline">True</property>
  2055.                           <property name="relief">GTK_RELIEF_NORMAL</property>
  2056.                           <property name="focus_on_click">True</property>
  2057.                           <property name="active">False</property>
  2058.                           <property name="inconsistent">False</property>
  2059.                           <property name="draw_indicator">True</property>
  2060.                         </widget>
  2061.                         <packing>
  2062.                           <property name="left_attach">0</property>
  2063.                           <property name="right_attach">1</property>
  2064.                           <property name="top_attach">0</property>
  2065.                           <property name="bottom_attach">1</property>
  2066.                           <property name="x_options">fill</property>
  2067.                           <property name="y_options"></property>
  2068.                         </packing>
  2069.                       </child>
  2070.  
  2071.                       <child>
  2072.                         <widget class="GtkCheckButton" id="background_checkbutton">
  2073.                           <property name="visible">True</property>
  2074.                           <property name="can_focus">True</property>
  2075.                           <property name="label" translatable="yes">_Background:</property>
  2076.                           <property name="use_underline">True</property>
  2077.                           <property name="relief">GTK_RELIEF_NORMAL</property>
  2078.                           <property name="focus_on_click">True</property>
  2079.                           <property name="active">False</property>
  2080.                           <property name="inconsistent">False</property>
  2081.                           <property name="draw_indicator">True</property>
  2082.                         </widget>
  2083.                         <packing>
  2084.                           <property name="left_attach">0</property>
  2085.                           <property name="right_attach">1</property>
  2086.                           <property name="top_attach">1</property>
  2087.                           <property name="bottom_attach">2</property>
  2088.                           <property name="x_options">fill</property>
  2089.                           <property name="y_options"></property>
  2090.                         </packing>
  2091.                       </child>
  2092.  
  2093.                       <child>
  2094.                         <widget class="GtkColorButton" id="foreground_colorbutton">
  2095.                           <property name="visible">True</property>
  2096.                           <property name="can_focus">True</property>
  2097.                           <property name="use_alpha">False</property>
  2098.                           <property name="title" translatable="yes">Pick a color</property>
  2099.                           <property name="focus_on_click">True</property>
  2100.                         </widget>
  2101.                         <packing>
  2102.                           <property name="left_attach">1</property>
  2103.                           <property name="right_attach">2</property>
  2104.                           <property name="top_attach">0</property>
  2105.                           <property name="bottom_attach">1</property>
  2106.                           <property name="x_options"></property>
  2107.                           <property name="y_options"></property>
  2108.                         </packing>
  2109.                       </child>
  2110.  
  2111.                       <child>
  2112.                         <widget class="GtkColorButton" id="background_colorbutton_2">
  2113.                           <property name="visible">True</property>
  2114.                           <property name="can_focus">True</property>
  2115.                           <property name="use_alpha">False</property>
  2116.                           <property name="title" translatable="yes">Pick a color</property>
  2117.                           <property name="focus_on_click">True</property>
  2118.                         </widget>
  2119.                         <packing>
  2120.                           <property name="left_attach">1</property>
  2121.                           <property name="right_attach">2</property>
  2122.                           <property name="top_attach">1</property>
  2123.                           <property name="bottom_attach">2</property>
  2124.                           <property name="x_options"></property>
  2125.                           <property name="y_options"></property>
  2126.                         </packing>
  2127.                       </child>
  2128.                     </widget>
  2129.                     <packing>
  2130.                       <property name="padding">0</property>
  2131.                       <property name="expand">False</property>
  2132.                       <property name="fill">False</property>
  2133.                     </packing>
  2134.                       </child>
  2135.  
  2136.                       <child>
  2137.                     <widget class="GtkLabel" id="label875">
  2138.                       <property name="visible">True</property>
  2139.                       <property name="label" translatable="yes"></property>
  2140.                       <property name="use_underline">False</property>
  2141.                       <property name="use_markup">False</property>
  2142.                       <property name="justify">GTK_JUSTIFY_LEFT</property>
  2143.                       <property name="wrap">False</property>
  2144.                       <property name="selectable">False</property>
  2145.                       <property name="xalign">0.5</property>
  2146.                       <property name="yalign">0.5</property>
  2147.                       <property name="xpad">0</property>
  2148.                       <property name="ypad">0</property>
  2149.                       <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2150.                       <property name="width_chars">-1</property>
  2151.                       <property name="single_line_mode">False</property>
  2152.                       <property name="angle">0</property>
  2153.                     </widget>
  2154.                     <packing>
  2155.                       <property name="padding">0</property>
  2156.                       <property name="expand">True</property>
  2157.                       <property name="fill">True</property>
  2158.                     </packing>
  2159.                       </child>
  2160.  
  2161.                       <child>
  2162.                     <widget class="GtkButton" id="reset_button">
  2163.                       <property name="visible">True</property>
  2164.                       <property name="can_focus">True</property>
  2165.                       <property name="relief">GTK_RELIEF_NORMAL</property>
  2166.                       <property name="focus_on_click">True</property>
  2167.  
  2168.                       <child>
  2169.                         <widget class="GtkAlignment" id="alignment1">
  2170.                           <property name="visible">True</property>
  2171.                           <property name="xalign">0.5</property>
  2172.                           <property name="yalign">0.5</property>
  2173.                           <property name="xscale">0</property>
  2174.                           <property name="yscale">0</property>
  2175.                           <property name="top_padding">0</property>
  2176.                           <property name="bottom_padding">0</property>
  2177.                           <property name="left_padding">0</property>
  2178.                           <property name="right_padding">0</property>
  2179.  
  2180.                           <child>
  2181.                         <widget class="GtkHBox" id="hbox159">
  2182.                           <property name="visible">True</property>
  2183.                           <property name="homogeneous">False</property>
  2184.                           <property name="spacing">2</property>
  2185.  
  2186.                           <child>
  2187.                             <widget class="GtkImage" id="image19">
  2188.                               <property name="visible">True</property>
  2189.                               <property name="stock">gtk-undo</property>
  2190.                               <property name="icon_size">4</property>
  2191.                               <property name="xalign">0.5</property>
  2192.                               <property name="yalign">0.5</property>
  2193.                               <property name="xpad">0</property>
  2194.                               <property name="ypad">0</property>
  2195.                             </widget>
  2196.                             <packing>
  2197.                               <property name="padding">0</property>
  2198.                               <property name="expand">False</property>
  2199.                               <property name="fill">False</property>
  2200.                             </packing>
  2201.                           </child>
  2202.  
  2203.                           <child>
  2204.                             <widget class="GtkLabel" id="label874">
  2205.                               <property name="visible">True</property>
  2206.                               <property name="label" translatable="yes">_Reset to Default </property>
  2207.                               <property name="use_underline">True</property>
  2208.                               <property name="use_markup">False</property>
  2209.                               <property name="justify">GTK_JUSTIFY_LEFT</property>
  2210.                               <property name="wrap">False</property>
  2211.                               <property name="selectable">False</property>
  2212.                               <property name="xalign">0.5</property>
  2213.                               <property name="yalign">0.5</property>
  2214.                               <property name="xpad">0</property>
  2215.                               <property name="ypad">0</property>
  2216.                               <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2217.                               <property name="width_chars">-1</property>
  2218.                               <property name="single_line_mode">False</property>
  2219.                               <property name="angle">0</property>
  2220.                             </widget>
  2221.                             <packing>
  2222.                               <property name="padding">0</property>
  2223.                               <property name="expand">False</property>
  2224.                               <property name="fill">False</property>
  2225.                             </packing>
  2226.                           </child>
  2227.                         </widget>
  2228.                           </child>
  2229.                         </widget>
  2230.                       </child>
  2231.                     </widget>
  2232.                     <packing>
  2233.                       <property name="padding">0</property>
  2234.                       <property name="expand">False</property>
  2235.                       <property name="fill">False</property>
  2236.                     </packing>
  2237.                       </child>
  2238.                     </widget>
  2239.                     <packing>
  2240.                       <property name="padding">0</property>
  2241.                       <property name="expand">False</property>
  2242.                       <property name="fill">False</property>
  2243.                     </packing>
  2244.                   </child>
  2245.                 </widget>
  2246.                 <packing>
  2247.                   <property name="padding">0</property>
  2248.                   <property name="expand">True</property>
  2249.                   <property name="fill">True</property>
  2250.                 </packing>
  2251.                   </child>
  2252.                 </widget>
  2253.                 <packing>
  2254.                   <property name="padding">0</property>
  2255.                   <property name="expand">True</property>
  2256.                   <property name="fill">True</property>
  2257.                 </packing>
  2258.               </child>
  2259.             </widget>
  2260.             <packing>
  2261.               <property name="padding">0</property>
  2262.               <property name="expand">True</property>
  2263.               <property name="fill">True</property>
  2264.             </packing>
  2265.               </child>
  2266.             </widget>
  2267.             <packing>
  2268.               <property name="padding">0</property>
  2269.               <property name="expand">True</property>
  2270.               <property name="fill">True</property>
  2271.             </packing>
  2272.           </child>
  2273.         </widget>
  2274.         <packing>
  2275.           <property name="padding">0</property>
  2276.           <property name="expand">True</property>
  2277.           <property name="fill">True</property>
  2278.         </packing>
  2279.           </child>
  2280.         </widget>
  2281.         <packing>
  2282.           <property name="tab_expand">False</property>
  2283.           <property name="tab_fill">True</property>
  2284.         </packing>
  2285.       </child>
  2286.  
  2287.       <child>
  2288.         <widget class="GtkLabel" id="label831">
  2289.           <property name="visible">True</property>
  2290.           <property name="label" translatable="yes">Syntax Highlighting</property>
  2291.           <property name="use_underline">False</property>
  2292.           <property name="use_markup">False</property>
  2293.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  2294.           <property name="wrap">False</property>
  2295.           <property name="selectable">False</property>
  2296.           <property name="xalign">0.5</property>
  2297.           <property name="yalign">0.5</property>
  2298.           <property name="xpad">0</property>
  2299.           <property name="ypad">0</property>
  2300.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2301.           <property name="width_chars">-1</property>
  2302.           <property name="single_line_mode">False</property>
  2303.           <property name="angle">0</property>
  2304.         </widget>
  2305.         <packing>
  2306.           <property name="type">tab</property>
  2307.         </packing>
  2308.       </child>
  2309.  
  2310.       <child>
  2311.         <widget class="GtkVBox" id="plugin_manager_place_holder">
  2312.           <property name="border_width">12</property>
  2313.           <property name="visible">True</property>
  2314.           <property name="homogeneous">False</property>
  2315.           <property name="spacing">0</property>
  2316.  
  2317.           <child>
  2318.         <placeholder/>
  2319.           </child>
  2320.         </widget>
  2321.         <packing>
  2322.           <property name="tab_expand">False</property>
  2323.           <property name="tab_fill">True</property>
  2324.         </packing>
  2325.       </child>
  2326.  
  2327.       <child>
  2328.         <widget class="GtkLabel" id="label868">
  2329.           <property name="visible">True</property>
  2330.           <property name="label" translatable="yes">Plugins</property>
  2331.           <property name="use_underline">False</property>
  2332.           <property name="use_markup">False</property>
  2333.           <property name="justify">GTK_JUSTIFY_LEFT</property>
  2334.           <property name="wrap">False</property>
  2335.           <property name="selectable">False</property>
  2336.           <property name="xalign">0.5</property>
  2337.           <property name="yalign">0.5</property>
  2338.           <property name="xpad">0</property>
  2339.           <property name="ypad">0</property>
  2340.           <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
  2341.           <property name="width_chars">-1</property>
  2342.           <property name="single_line_mode">False</property>
  2343.           <property name="angle">0</property>
  2344.         </widget>
  2345.         <packing>
  2346.           <property name="type">tab</property>
  2347.         </packing>
  2348.       </child>
  2349.     </widget>
  2350.     <packing>
  2351.       <property name="padding">0</property>
  2352.       <property name="expand">True</property>
  2353.       <property name="fill">True</property>
  2354.     </packing>
  2355.       </child>
  2356.     </widget>
  2357.   </child>
  2358. </widget>
  2359.  
  2360. </glade-interface>
  2361.